((v1 v1 1) (v2 v2 1))
27
((v1 v2))